- Minsky machine
- Математика: машина Минского
Универсальный англо-русский словарь. Академик.ру. 2011.
Minsky machine
Смотреть что такое "Minsky machine" в других словарях:
Machine a compteurs — Machine à compteurs Une machine à compteurs est un modèle de calcul très rudimentaire. Dans sa version la plus simple une machine à compteurs est composée de 2 compteurs (ou registres) et d un programme. Chaque compteur contient un entier naturel … Wikipédia en Français
Machine À Compteurs — Une machine à compteurs est un modèle de calcul très rudimentaire. Dans sa version la plus simple une machine à compteurs est composée de 2 compteurs (ou registres) et d un programme. Chaque compteur contient un entier naturel (non borné). Le… … Wikipédia en Français
Machine Lisp — Une machine Lisp au Musée du MIT. Les machines Lisp sont des ordinateurs conçus (grâce à leur matériel particulier) pour interpréter Lisp efficacement et nativement. D une certaine manière, elles furent les premières stations de travail mono… … Wikipédia en Français
Machine à compteurs — Une machine à compteurs est un modèle de calcul très rudimentaire. Dans sa version la plus simple une machine à compteurs est composée de deux compteurs (ou registres) et d un programme. Chaque compteur a la valeur d un entier naturel (non borné) … Wikipédia en Français
Counter machine — A counter machine is an abstract machine used in formal logic and theoretical computer science to model computation. It is the most primitive of the four types of register machines. A counter machine comprises a set of one or more unbounded… … Wikipedia
Universal Turing machine — This article is a supplement to the article Turing machine. Alan Turing s universal computing machine (alternately universal machine , machine U , U ) is the name given by him (1936 1937) to his model of an all purpose a machine (computing… … Wikipedia
Turing machine equivalents — Turing machine(s) Machina Universal Turing machine Alternating Turing machine Quantum Turing machine Read only Turing machine Read only right moving Turing Machines Probabilistic Turing machine Multi track Turing machine Turing machine… … Wikipedia
Abstract machine — An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in Automata theory. Abstraction of computing processes is used in both the computer science and computer engineering… … Wikipedia
Lisp Machine — Machine Lisp Une machine Lisp au Musée du MIT. Les machines Lisp sont des ordinateurs conçus (grâce à leur matériel particulier) pour interpréter Lisp efficacement et nativement. D une certaine manière, elles furent les premières stations de… … Wikipédia en Français
Register machine — In mathematical logic and theoretical computer science a register machine is a generic class of abstract machines used in a manner similar to a Turing machine. All the models are Turing equivalent. Contents 1 Overview 2 Formal definition 3 … Wikipedia
Counter machine models — This page supplements counter machine. Although some authors use the name register machine synonymously with counter machine , this article will give details and examples of only of the most primitive species the counter machine of the genus… … Wikipedia
